Expressiveness of Basic Splice Expressiveness of Basic Splice
نویسندگان
چکیده
We study a simple software architecture, in which application processes are coordinated by writing into and reading from a global set. This architecture underlies Splice, which is developed and used at the company Hollandse Signaalapparaten. Our approach is distinguished by viewing the architecture as a component itself, described formally by means of process algebra. Two results are proved. First a distributed implementation of the architecture is given, in which each component maintains a local set and data items are exchanged between these local sets. The implementation is proved to be behaviourally equivalent to the conceptual view of having one global set. Next we show that every requirements speciication expressible as a nite process has a distributed implementation on this architecture. Note: Research carried out in SEN 2 \Speciication and analysis of embedded systems"
منابع مشابه
Identification of a Novel Splice Site Mutation in RUNX2 Gene in a Family with Rare Autosomal Dominant Cleidocranial Dysplasia
Introduction: Pathogenic variants of RUNX2, a gene that encodes an osteoblast-specific transcription factor, have been shown as the cause of CCD, which is a rare hereditary skeletal and dental disorder with dominant mode of inheritance and a broad range of clinical variability. Due to the relative lack of clinical complications resulting in CCD, the medical diagnosis of this disorder is challen...
متن کاملComparing spiritual intelligence and emotional expressiveness in psychosomatic patients
The most important issues of psychology is psychosomatic disease. This study aimed to compare spiritual intelligence and emotional expression in patients with irritable bowel syndrome, coronary heart disease and asthma. This research was a post-event descriptive study. The statistical population included patients with coronary heart disease, irritable bowel syndrome and asthma that attended Ima...
متن کاملSplice Graphs and their Vertex-Degree-Based Invariants
Let G_1 and G_2 be simple connected graphs with disjoint vertex sets V(G_1) and V(G_2), respectively. For given vertices a_1in V(G_1) and a_2in V(G_2), a splice of G_1 and G_2 by vertices a_1 and a_2 is defined by identifying the vertices a_1 and a_2 in the union of G_1 and G_2. In this paper, we present exact formulas for computing some vertex-degree-based graph invariants of splice of graphs.
متن کاملتأثیر آدنوزین ´5تری فسفات در القای آپوپتوز و مهار بیان ژن Survivin و واریانت پیرایشی ضد آپوپتوزی SUR-3B آن در سلول های K562
Introduction: Leukemia is a heterogeneous malignant disease in which progression at the level of CD34+ cells has a major impact in drug resistance and relapse. The multi-drug resistance gene product, P-glycoprotein is an inhibitor of apoptosis proteins (IAPs), such as Survivin that are expressed simultaneously with several putative drug resistance parameters in CD34+ leukemia cells. In fact, IA...
متن کامل